ESSLLI 2016 Course Proposal : Introduction to Non - Monotonic Logic June 8 , 2015 1 Personal information of the proposers
نویسندگان
چکیده
Mathieu Beirlaen Mathieu Beirlaen obtained his PhD in philosophical logic at Ghent University in 2012, under the supervision of Joke Meheus and Christian Straßer. He worked as a postdoctoral researcher at Ghent University until February 2013, after which he became postdoctoral fellow at the National Autonomous University of Mexico (UNAM) in Mexico City. In January 2015, he moved to Bochum to join Christian Straßer’s new research group on nonmonotonic logics and formal argumentation at RUB. Mathieu has worked on adaptive logics and their applications in deontic logic and philosophy of science, and on the relations between adaptive logics and other formal frameworks such as dialogical logic and input/output logic. He has collaborated extensively with Christian Straßer, and continues to do so.
منابع مشابه
Reasoning with Probabilities
This is an outline for the course “Reasoning with Probabilities” taught at the European Summer School for Logic, Language and Information in Bordeaux, France on July 26 31, 2009 (ESSLLI 2009). This document contains an extended outline of the course including pointers to relevant literature. The course website: ai.stanford.edu/∼epacuit/classes/esslli/epprob.html will contain the slides and a sc...
متن کاملA Short Introduction to Implicit Computational Complexity
These lecture notes are meant to serve as a short introduction to implicit computational complexity for those students who have little or no knowledge of recursion theory and proof theory. They have been obtained by enriching and polishing a set of notes the author wrote for a course (on the same subject) he gave at ESSLLI 2010. These notes are definitely not meant to be comprehensive nor exhau...
متن کاملValue of Data over time in Albert Heijn’s Loyalty Program
The importance of finding an equilibrium between privacy and the usage of data is increasing. As a consequence, the trade-off between these factors must become measurable. In former research, Van Heerde assumes that the monetary worth of data decreases over time, similar to a non-negative monotonic descending function. This research examines this assumption for the particular case of Albert Hei...
متن کاملA Reading Companion to the ESSLLI Course "Logics for Agency and Multi-Agent Systems"
This paper is a reading companion to our introductory ESSLLI course on "Logics for Agency and Multi-Agent Systems". Proofs are omitted. This reader's aim is mostly to structure the material that will be presented at the course, and to point the attendees of the course to the relevant literature.
متن کامل